A subgroup <i>H </i> of <i>G</i> is a normal subgroup of <i>G</I> if <i> aH = Ha</i> for all <i>a</i> in <i>G</i>.